Remove unneeded bits of commit eliz@gnu.org-20130215094131-hohn5xakw0v6hqp5 merged...
authorEli Zaretskii <eliz@gnu.org>
Fri, 15 Feb 2013 19:37:29 +0000 (21:37 +0200)
committerEli Zaretskii <eliz@gnu.org>
Fri, 15 Feb 2013 19:37:29 +0000 (21:37 +0200)
commit7d3947d3c64463c6d7a1f8cf4f3e552e4affda47
tree8787135e5f28bf1ef1a2bd6fe65540f58b685fd7
parentb7507c2610ca52368d9043dddd3ecf11d68d8188
Remove unneeded bits of commit eliz@gnu.org-20130215094131-hohn5xakw0v6hqp5 merged from release branch.
src/ChangeLog
src/w32proc.c